infinite orthogonal group

无限正交群